Semantical Markov Logic Network for Distributed Reasoning in Cyber-Physical Systems
نویسندگان
چکیده
منابع مشابه
A Distributed Logic for Networked Cyber-Physical Systems (Extended Version)
A distributed logical framework designed to serve as a declarative semantic foundation for Networked Cyber-Physical Systems provides notions of facts and goals that include interactions with the environment via external goal requests, observations that generate facts, and actions that achieve goals. Reasoning rules are built on a partially ordered knowledge-sharing model for loosely coupled dis...
متن کاملA Distributed Logic for Networked Cyber-Physical Systems
A distributed logical framework designed to serve as a declarative semantic foundation for Networked Cyber-Physical Systems provides notions of facts and goals that include interactions with the environment via external goal requests, observations that generate facts, and actions that achieve goals. Reasoning rules are built on a partially ordered knowledge-sharing model for loosely coupled dis...
متن کاملLogic & Proofs for Cyber-Physical Systems
Cyber-physical systems (CPS) combine cyber aspects such as communication and computer control with physical aspects such as movement in space, which arise frequently in many safety-critical application domains, including aviation, automotive, railway, and robotics. But how can we ensure that these systems are guaranteed to meet their design goals, e.g., that an aircraft will not crash into anot...
متن کاملDistributed Machine Learning for Cyber-Physical Systems
Wireless sensor networks (WSN) are increasingly used for environmental monitoring over extended periods of time. To facilitate deployments in remote areas, sensor nodes are typically small, solar-powered devices with limited computational capabilities. Over the duration of the deployment, harsh weather conditions can lead to problems like mis-calibration or build-up of dust on sensors and solar...
متن کاملDistributed Control for Cyber-Physical Systems
Networked Cyber-Physical Systems (CPS) are fundamentally constrained by the tight coupling and closedloop control and actuation of physical processes. To address actuation in such closed-loop wireless control systems there is a strong need to re-think the communication architectures and protocols for maintaining stability and performance in the presence of disturbances to the network, environme...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Sensors
سال: 2017
ISSN: 1687-725X,1687-7268
DOI: 10.1155/2017/4259652